{- SiteDefs.inc.orc -- Orc program SiteDefs.inc
 - 
 - $Id$
 - 
 - Created by akattepu on 10-Aug-2012 16:44:32
 -}
--include "QoSRegistry.inc"
--include "QoSWeaver.inc"


def f(x) =  QoS(x,"f")

def g(x) =  QoS(x*x,"g")

def h(k) = QoS(k+k,"h")

def composite(m) = QoSValidate("f","g") >> ((d1+d2,append(q1,q2)) <((d1,q1),(d2,q2))< (f(m),g(m)))